1. .....................
پدیدآورنده : Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
2. <An> introduction to Gödel's Theorems
پدیدآورنده : \ Peter Smith
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
3. Computability theory: an introduction
پدیدآورنده : )by( Neil D. Jones,Title
موضوع : Recursive functions,Turing machines,Computable functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Introduction to computability
پدیدآورنده : Hennie, Frederick C
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
5. Theory of Computation
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامهنویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012